push-button time switch - Allemand Anglais Dictionnaire